Heuristics Applied to Mutation Testing in an Impure Functional Programming Language
نویسندگان
چکیده
منابع مشابه
Mutation Testing of Functional Programming Languages
Mutation testing has been widely studied in imperative programming languages. The rising popularity of functional languages and the adoption of functional idioms in traditional languages (e.g. lambda expressions) requires a new set of studies for evaluating the effectiveness of mutation testing in a functional context. In this paper, we report our ongoing effort in applying mutation testing in ...
متن کاملMutation Testing Applied to Validate SDL Specifications
Mutation Testing is an error-based criterion that provides mechanisms to evaluate the quality of a test set and/or to generate test sets. This criterion, originally proposed to program testing, has also been applied to specification testing. In this paper, we propose the application of Mutation Testing for testing SDL specifications. We define a mutant operator set for SDL that intends to model...
متن کاملBricklayer: An Authentic Introduction to the Functional Programming Language SML
Functional programming languages are seen by many as instrumental to effectively utilizing the computational power of multi-core platforms. As a result, there is growing interest to introduce functional programming and functional thinking as early as possible within the computer science curriculum. Bricklayer is an API, written in SML, that provides a set of abstractions for creating LEGO® arti...
متن کاملTermination in impure functional languages
In this paper, an impure language is one that combines functional and imperative constructs. The language may be sequential or concurrent. We present a method for ensuring termination of impure languages that makes it possible to combine term rewriting measure-based techniques with traditional approaches for termination in functional languages such as logical relations. The method can be made p...
متن کاملAdapting Structural Testing to Functional Programming
Structural testing is heavily used in the software development process in the context of imperative programming. In order to become applicable to functional programming languages it needs, however, some adaption. We investigate the definition and generation of interprocedural flow graphs for functional programs and identify data flow oriented testing as best choice for the application to functi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Advanced Computer Science and Applications
سال: 2019
ISSN: 2156-5570,2158-107X
DOI: 10.14569/ijacsa.2019.0100670